41. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
42. Automated Reasoning and Mathematics
پدیدآورنده : / Maria Paola Bonacina, Mark E. Stickel
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
43. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
44. Automated technology for verification and analysis :
پدیدآورنده : Shuvendu K. Lahiri, Chao Wang (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A96
45. Automation of Reasoning :
پدیدآورنده : edited by Jörg H. Siekmann, Graham Wrightson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
A96
E358
1983
47. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
48. Biomathematics and Related Computational Problems
پدیدآورنده : edited by Luigi M. Ricciardi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical Modeling and Industrial Mathematics.,Mathematical models.,Mathematics.
رده :
QH323
.
5
E358
1988
49. Building Innovation Pipelines through Computer-Aided Innovation
پدیدآورنده : edited by Denis Cavallucci, Roland Guio, Gaetano Cascini.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Computer simulation.,Computer-aided design.,Engineering mathematics.,Software engineering.
50. Case-based reasoning research and development :
پدیدآورنده : Michael T. Cox, Peter Funk, Shahina Begum (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Case-based reasoning, Congresses.,Artificial Intelligence (incl. Robotics).,Computer Appl. in Administrative Data Processing.,Information Storage and Retrieval.,Mathematical Logic and Formal Languages.,Special Purpose and Application-Based Systems.,User Interfaces and Human Computer Interaction.,Artificial intelligence.,Case-based reasoning.,Computers-- Data Processing.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- System Administration-- Storage & Retrieval.,Computers-- User Interfaces.,Expert systems-- knowledge-based systems.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,User interface design & usability.
رده :
Q338
.
8
51. Cellular Automata, Dynamical Systems and Neural Networks
پدیدآورنده : edited by Eric Goles, Servet Martínez.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity.,Information theory.,Physics.
52. Certified programs and proofs :
پدیدآورنده : Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
53. Coalgebraic methods in computer science :
پدیدآورنده : Corina Cîrstea (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA76
.
9
.
M35
54. Cognitive Tools for Learning
پدیدآورنده : edited by Piet A.M. Kommers, David H. Jonassen, J. Terry Mayes, Alcindo Ferreira.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.
رده :
LB1028
.
43
E358
1992
55. Combinatorial algorithms :
پدیدآورنده : edited by Ljiljana Brankovic, Joe Ryan, William F. Smyth.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatorial analysis, Congresses.,Computer algorithms, Congresses.,Algorithms & data structures.,Algorithms.,Artificial intelligence.,Artificial intelligence.,Computer science-- Mathematics.,Computer science.,Computer security.,Computer security.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Security-- General.,Data structures (Computer science),Discrete mathematics.,Mathematical theory of computation.,Numerical analysis.
رده :
QA76
.
9
.
M35
56. Computation, Logic, Philosophy :
پدیدآورنده : by Hao Wang.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Information theory.,Mathematics.,Technology -- Philosophy.
57. Computational Logic :
پدیدآورنده : edited by John W. Lloyd.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic design.
رده :
QA76
.
9
.
A96
E358
1990
58. Computational intelligence
پدیدآورنده : Rudolf Kruse ... [et al.]
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational intelligence
رده :
Q342
.
C66
2013
59. Computational intelligence and mathematics for tackling complex problems /
پدیدآورنده : László T. Kóczy, Jesús Medina-Moreno, Eloísa Ramírez-Poussa, Alexander Šostak, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational intelligence, Congresses.,Fuzzy mathematics, Congresses.,Computational intelligence.,Fuzzy mathematics.
رده :
QA248
60. Computational intelligence, cyber security and computational models :
پدیدآورنده : Geetha Ganapathi, Arumugam Subramaniam, Manuel Graña, Suresh Balusamy, Rajamanickam Natarajan, Periakaruppan Ramanathan (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational intelligence, Congresses.,Computer security, Congresses.,Artificial Intelligence.,Computational Intelligence.,Image Processing and Computer Vision.,Mathematics of Computing.,Systems and Data Security.,Artificial intelligence.,Computational intelligence.,Computer security.,Computer security.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Image processing.,Mathematical theory of computation.
رده :
Q342
